Banach's closed graph theorem

見 closed graph theorem